Timer Embedded Finite State Machine Modeling And Its Application
نویسندگان
چکیده
In this paper, we propose an extension of classical finite state machine as it called a timer embedded finite state machine (TEFSM) with its formal modeling methods. In the proposed state-based approach, a discrete event system is modeled as a coupled TEFSM. Also presented is a systematic procedure and architecture of developing a simulation executor with a synchronization manager for the coupled TEFSM model. A TEFSM toolkit for modeling and simulation of the proposed TEFSM model has been implemented and a ping pong system was developed as an illustrative example.
منابع مشابه
Restricted cascade and wreath products of fuzzy finite switchboard state machines
A finite switchboard state machine is a specialized finite state machine. It is built by binding the concepts of switching state machines and commutative state machines. The main purpose of this paper is to give a specific algorithm for fuzzy finite switchboard state machine and also, investigates the concepts of switching relation, covering, restricted cascade products and wreath products of f...
متن کامل2008 Workshop on Embedded Systems Education Wese 2008 Organizers' Message Program Committee 2008 Workshop on Embedded Systems Education Wese2008 Time-oriented Programming Timing Is Everything – Embedded Systems Demand Early Teaching of Structured Time-oriented Programming
Computing was originally dominated by desktop and hence dataoriented systems. However, embedded and hence time-oriented systems, which must measure input events or generate output events of specified time durations, or must execute at regular time intervals, are increasingly commonplace. Blinking a light on and off for 1 second represents a “Hello World” example of a time-oriented system. Time-...
متن کاملPower Reduction in Embedded Systems Using a Design Methodology Based on Synchronous Finite State Machines
To achieve the highest levels of power reduction, embedded systems must be conceived as low-power devices, since the early stages of the design process. The proposed Model-Based-Development process uses Synchronous Finite State Machines (SFSM) to model the behavior of low-power devices. This methodology is aimed at devices at the lower-end of the complexity spectrum, as long as the device behav...
متن کاملTiming is Everything – Embedded Systems Demand Early Teaching of Structured Time-Oriented Programming
Computing was originally dominated by desktop and hence dataoriented systems. However, embedded and hence time-oriented systems, which must measure input events or generate output events of specified time durations, or must execute at regular time intervals, are increasingly commonplace. Blinking a light on and off for 1 second represents a “Hello World” example of a time-oriented system. Time-...
متن کاملPolychronous Interpretation of Synoptic, a Domain Specific Modeling Language for Embedded Flight-Software
The SPaCIFY project, which aims at bringing advances in MDE to the satellite flight software industry, advocates a top-down approach built on a domain-specific modeling language named Synoptic. In line with previous approaches to real-time modeling such as Statecharts and Simulink, Synoptic features hierarchical decomposition of application and control modules in synchronous block diagrams and ...
متن کامل